Basic research

Results: 2119



#Item
441

BRICS Basic Research in Computer Science BRICS RSL. Santocanale: The Alternation Hierarchy for the Theory of µ-lattices The Alternation Hierarchy for

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2000-11-14 08:50:16
    442

    BRICS Basic Research in Computer Science BRICS RSBalat & Danvy: Strong Normalization Strong Normalization by

    Add to Reading List

    Source URL: www.brics.dk

    Language: English - Date: 1998-03-20 10:03:23
      443

      BRICS Basic Research in Computer Science BRICS RSBrabrand et al.: Language-Based Caching of Dynamically Generated HTML Language-Based Caching of

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 2001-05-28 04:27:48
        444

        BRICS Basic Research in Computer Science BRICS RSHune et al.: Guided Synthesis of Control Programs for a Batch Plant using U PPAAL Guided Synthesis of Control Programs for

        Add to Reading List

        Source URL: www.brics.dk

        Language: English - Date: 2001-02-19 07:53:57
          445

          BRICS RSCattani & Winskel: Profunctors, Open Maps and Bisimulation BRICS Basic Research in Computer Science

          Add to Reading List

          Source URL: www.brics.dk

          Language: English - Date: 2004-10-27 09:38:40
            446

            BRICS Basic Research in Computer Science BRICS RS-02-4 Danvy & Nielsen: Syntactic Theories in Practice

            Add to Reading List

            Source URL: www.brics.dk

            Language: English - Date: 2002-02-04 09:51:39
              447

              BRICS RS-06-5 K. Støvring: Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative BRICS Basic Research in Computer Science

              Add to Reading List

              Source URL: www.brics.dk

              Language: English - Date: 2006-03-06 18:15:31
                448

                BRICS Basic Research in Computer Science BRICS RSBuhrman et al.: Quantum Entanglement and Communication Complexity Quantum Entanglement

                Add to Reading List

                Source URL: www.brics.dk

                Language: English - Date: 1998-01-06 11:10:25
                  449

                  Briefing Session for JST Strategic Basic Research Programs (CREST, PRESTO) in FY 2014 For promoting application from Japan-based foreign researchers to CREST or PRESTO programs, JST Department of Innovation Research will

                  Add to Reading List

                  Source URL: www.jst.go.jp

                  - Date: 2015-03-10 00:22:45
                    450

                    BRICS Basic Research in Computer Science BRICS RSHune & Sandholm: Using Automata in Control Synthesis — A Case Study Using Automata in Control Synthesis

                    Add to Reading List

                    Source URL: www.brics.dk

                    Language: English - Date: 2000-09-12 08:22:13
                      UPDATE